\documentclass{article}
\usepackage[x11names, rgb]{xcolor}
\usepackage[utf8]{inputenc}
\usepackage{tikz}
\usetikzlibrary{snakes,arrows,shapes}
\usepackage{amsmath}
%
%
\usepackage[active,tightpage]{preview}
\PreviewEnvironment{tikzpicture}
\setlength\PreviewBorder{0pt}%
\usetikzlibrary{automata}%

\begin{document}
\pagestyle{empty}
%
%
%

\enlargethispage{100cm}
% Start of code
\begin{tikzpicture}[>=latex',join=bevel,]
\tikzstyle{every state}=[draw=blue!50,very thick,fill=blue!20]%
\node (q0) at (64bp,634bp) [state] {$q_{0}$};
  \node (q8) at (248bp,370bp) [state] {$q_{8}$};
  \node (q7) at (46bp,18bp) [state] {$q_{7}$};
  \node (q4) at (457bp,282bp) [state] {$q_{4}$};
  \node (q6) at (97bp,106bp) [state] {$q_{6}$};
  \node (q2) at (500bp,458bp) [state] {$q_{2}$};
  \node (q1) at (64bp,546bp) [state] {$q_{1}$};
  \node (q3) at (474bp,370bp) [state] {$q_{3}$};
  \node (q5) at (241bp,194bp) [state] {$q_{5}$};
  \draw [->] (q8) ..controls (182bp,377bp) and (108bp,392bp)  .. (73bp,440bp) .. controls (57bp,462bp) and (57bp,495bp)  .. node[auto] {$AbsenceRequest_And_Employee_PLink#Receive_Absence_Request$} (q1);
  \draw [->] (q7) ..controls (29bp,52bp) and (18bp,80bp)  .. (18bp,106bp) .. controls (18bp,458bp) and (18bp,458bp)  .. (18bp,458bp) .. controls (18bp,490bp) and (24bp,506bp)  .. node[auto] {$AbsenceRequest_And_Employee_PLink#Receive_Absence_Request$} (q1);
  \draw [->] (q0) ..controls (64bp,604bp) and (64bp,588bp)  .. node[auto] {$AbsenceRequest_And_Employee_PLink#Receive_Absence_Request$} (q1);
  \draw [->] (q4) ..controls (427bp,269bp) and (420bp,266bp)  .. (413bp,264bp) .. controls (364bp,244bp) and (308bp,221bp)  .. node[auto] {$AbsenceRequest_And_Manager_PLink#Receive_Manager_Approval$} (q5);
  \draw [->] (q6) ..controls (80bp,76bp) and (69bp,58bp)  .. node[auto] {$\overline{AbsenceRequest_And_Employee_PLink#Receive_Notification}$} (q7);
  \draw [->] (q2) ..controls (472bp,445bp) and (467bp,443bp)  .. (459bp,440bp) .. controls (397bp,416bp) and (324bp,393bp)  .. node[auto] {$\tau$} (q8);
  \draw [->] (q2) ..controls (491bp,428bp) and (486bp,412bp)  .. node[auto] {$\tau$} (q3);
  \draw [->] (q1) ..controls (155bp,537bp) and (324bp,516bp)  .. (459bp,476bp) .. controls (462bp,475bp) and (465bp,474bp)  .. node[auto] {$\overline{AbsenceRequest_And_Employee_PLink#Receive_Absence_Request}$} (q2);
  \draw [->] (q3) ..controls (466bp,347bp) and (464bp,340bp)  .. (463bp,334bp) .. controls (462bp,326bp) and (460bp,318bp)  .. node[auto] {$\overline{AbsenceRequest_And_Manager_PLink#Receive_Absence_Request--006}$} (q4);
  \draw [->] (q5) ..controls (196bp,167bp) and (154bp,141bp)  .. node[auto] {$\overline{AbsenceRequest_And_Manager_PLink#Receive_Manager_Approval}$} (q6);
%
\end{tikzpicture}
% End of code

%
\end{document}
%


